2301. UIST'01 : proceedings of the 14th Annual ACM Symposium on User Interface Software and Technology, Orlando, Florida, November 11-14, 2001
پدیدآورنده : Sponsored by ACM SIGGRAPH, ACM SIGCHI, in cooperation with ACM SIGSOFT
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، User interfaces )Computer systems(,Congresses ، Computer software,Congresses ، Interactive computer systems
رده :
QA
76
.
9
.
U83A23
2001
2302. UIST'00 : proceedings of the 13th Annual ACM Symposium on User Interface Software and Technology, San Diego, California, November 5-8, 2000
پدیدآورنده : sponsored by ACM SIGGRAPH and ACM SIGCHI, in cooperation with ACM SIGSOFT
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، User interfaces )Computer systems(,Congresses ، Interactive computer systems,Congresses ، Computer software
رده :
QA
76
.
9
.
U83A23
2000
2303. UML 2002--the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30-October 4,2002 : proceedings
پدیدآورنده : Jean-Marc Jezequel, Heinrich Hussmann, Stephen Cook )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
رده :
QA
76
.
L28
Vol
.
2460
2304. Ubiquitous Communications and Network Computing
پدیدآورنده : \ Navin Kumar, Arpita Thakre (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer networks -- Congresses,Computer science -- Congresses.,شبکه‌های کامپیوتری -- کنگره‌ها ,علوم کامپیوتر -- کنگره‌ها
رده :
E-Book
,
2305. Ubiquitous communications and network computing :
پدیدآورنده : Navin Kumar, R. Venkatesha Prasad (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Computer networks.,Computer science.,Internet of things.
رده :
TK5105
.
5
2306. Ubiquitous mobile information and collaboration systems : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, revised selected papers
پدیدآورنده : Luciano Baresi...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer-aided software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
3272
2307. Ubiquitous networking :
پدیدآورنده : Noureddine Boudriga, Mohamed-Slim Alouini, Slim Rekhis, Essaid Sabir, Sofie Pollin (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses.,Ubiquitous computing, Congresses.,Computer networks.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Information retrieval.,Network hardware.,Ubiquitous computing.
رده :
QA76
.
5915
2308. Uncertainty in geometric computations /
پدیدآورنده : edited by Joab Winkler, Mahesan Niranjan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Geometry-- Data processing, Congresses
رده :
QA448
.
D38
U53
2002
2309. Uncertainty management with fuzzy and rough sets :
پدیدآورنده : Rafael Bello, Rafael Falcon, José Luis Verdegay, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Fuzzy sets, Congresses.,Rough sets, Congresses.,Computer simulation.,Engineering.,Operations research.
رده :
QA248
.
5
.
I584
2017
2310. Unifying theories of programming :
پدیدآورنده : Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming -- Congresses.,computerkunde.,software engineering.
رده :
QA76
.
6
B875
2013
2311. Use of the computer in pressure vessel analysis; papers and discussions
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Structural analysis )Engineering( - Data processing - Congresses,، Pressure vessels - Congresses
رده :
TA
641
.
A17
1968
2312. User centric media
پدیدآورنده : Federico Alvarez, Cristina Costa (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Multimedia systems, Congresses,Social media, Congresses,User-generated content, Congresses
رده :
QA76
.
575
.
U26
2010eb
2313. User science and engineering :
پدیدآورنده : Natrah Abdullah, Wan Adilah Wan Adnan, Marcus Foth (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : User interfaces (Computer systems), Congresses.,User-centered system design, Congresses.,Computers and Education.,Image Processing and Computer Vision.,Information Systems Applications (incl. Internet).,User Interfaces and Human Computer Interaction.,Computers-- Computer Graphics.,Computers-- Information Technology.,Computers-- User Interfaces.,Education-- Computers & Technology.,Educational equipment & technology, computer-aided learning (CAL).,Image processing.,Information retrieval.,User interface design & usability.,User interfaces (Computer systems),User-centered system design.
رده :
QA76
.
9
.
U83
2314. VLSI-SoC :
پدیدآورنده : Nicola Bombieri, Graziano Pravadelli, Masahiro Fujita, Todd Austin, Ricardo Reis (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer network architectures, Congresses.,Integrated circuits-- Very large scale integration, Congresses.,Internet of things, Congresses.,Systems on a chip, Congresses.,Computer network architectures.,Integrated circuits-- Very large scale integration.,Internet of things.,Systems on a chip.
رده :
TK7874
.
75
.
I34
2018
2315. VLSI design and test :
پدیدآورنده : S. Rajaram, N.B. Balamurugan, D. Gracia Nirmala Rani, Virendra Singh (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Integrated circuits-- Very large scale integration-- Design and construction, Congresses.,Integrated circuits-- Very large scale integration-- Testing, Congresses.,Integrated circuits-- Very large scale integration-- Design and construction.,Integrated circuits-- Very large scale integration-- Testing.
رده :
TK7874
.
75
2316. VR, simulations and serious games for education /
پدیدآورنده : editors: Yiyu Cai, Wouter van Joolingen and Zachary Walker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer games, Congresses.,Educational games.,Virtual reality in education-- Research, Congresses.,3D graphics & modelling.,Artificial intelligence.,Computer games.,EDUCATION-- Administration-- General.,EDUCATION-- Organizations & Institutions.,Educational equipment & technology, computer-aided learning (Calif.),Educational games.,User interface design & usability.
رده :
LB1044
.
87
2317. Validation and verification of knowledge based systems :
پدیدآورنده : edited by Anca Vermesan and Frans Coenen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
V47
E358
2011
2318. Verification, Model Checking, and Abstract Interpretation.
پدیدآورنده : \ Barbara Jobstmann , K. Rustan M. Leino (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نرمافزار -- راستی‌آزمایی -- کنگره ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی
رده :
.
V4
2016
E-Book
,
2319. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستی‌آزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
76
.
V47
2015
E-Book
,
2320. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
